let pure = x => (x, "");
